" Mitsuhiro Okada" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science Security and Cryptology)

Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada

2.36 Mb

#2

Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002

Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa

Категория: CsLn_

7.27 Mb